Nuprl Definition : update-spec-vars
0,22
postcript
pdf
update-spec-vars(
upd
) == map(
p
.2of(
p
);fpf-domain(
upd
))
latex
Definitions
map(
f
;
as
)
,
x
.
A
(
x
)
,
2of(
t
)
,
fpf-domain(
f
)
FDL editor aliases
update-spec-vars
origin
p.2of(p);fpf-domain(upd)) p.2of(p);fpf-domain(upd)) x.A(x)